11![Theory and Practice of Logic Programming, Vol. 6, No. 5, pp, Programming Finite-Domain Constraint Propagators in Action Rules Theory and Practice of Logic Programming, Vol. 6, No. 5, pp, Programming Finite-Domain Constraint Propagators in Action Rules](https://www.pdfsearch.io/img/152e92f3e8a673588fdbf537b50986b7.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2008-07-17 20:04:06
|
---|
12![Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic](https://www.pdfsearch.io/img/ee068ef91e94b978048f3eac7d546251.jpg) | Add to Reading ListSource URL: cliplab.org- Date: 2015-01-06 02:54:25
|
---|
13![Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 , Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 ,](https://www.pdfsearch.io/img/ae3939603be6f3dbc3c7bb3c2364a9e7.jpg) | Add to Reading ListSource URL: cliplab.org- Date: 2012-06-27 16:30:59
|
---|
14![Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P } Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P }](https://www.pdfsearch.io/img/9c6c41de3a0113a3a9a04e03342021b2.jpg) | Add to Reading ListSource URL: ilyasergey.net- Date: 2018-03-26 18:04:22
|
---|
15![Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗ Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗](https://www.pdfsearch.io/img/305cc0a501ae2a5b27ca4ad1b6819050.jpg) | Add to Reading ListSource URL: cliplab.org- Date: 2012-08-07 09:26:50
|
---|
16![Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog](https://www.pdfsearch.io/img/e6b5670d86e4666f7f75a94bd13af085.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2011-02-23 16:01:36
|
---|
17![Theory and Practice of Logic Programming 1 Efficient Tabling of Structured Data with Enhanced Hash-Consing Theory and Practice of Logic Programming 1 Efficient Tabling of Structured Data with Enhanced Hash-Consing](https://www.pdfsearch.io/img/1b9a5c3900488d3fc8e4630065ad7bf3.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2012-05-21 09:47:37
|
---|
18![Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference](https://www.pdfsearch.io/img/66faff99c0f9cad941abb9d5c47813d6.jpg) | Add to Reading ListSource URL: www.home.hs-karlsruhe.de- Date: 2014-02-23 03:34:16
|
---|
19![banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev](https://www.pdfsearch.io/img/ff94a853f02f900b24f0ef1f90723150.jpg) | Add to Reading ListSource URL: www.cs.unibo.it- Date: 2016-07-28 05:45:11
|
---|
20![To appear in Theory and Practice of Logic Programming 1 Linear Tabling Strategies and Optimizations Neng-Fa Zhou To appear in Theory and Practice of Logic Programming 1 Linear Tabling Strategies and Optimizations Neng-Fa Zhou](https://www.pdfsearch.io/img/244d89949247b5f7861e94b87cf15d5d.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2007-06-05 17:57:14
|
---|